Applying XP Ideas Formally: The Story Card and Extreme X-Machines

By gathering requirements on story cards extreme programming (XP) makes requirements collection easy. However it is less clear how the story cards are translated into a �finished product. We propose that a formal specification method based on X-Machines can be used to direct this transition. Extreme X-Machines �t in to the XP method well, without large overheads in design and maintenance. We also investigate how such machines adapt to change in the story cards and propose how this could be further enhanced

Enabling Proactive Adaptation through Just-in-time Testing of Conversational Services

Service-based applications (SBAs) will increasingly be composed of third-party services available over the Internet. Reacting to failures of those third-party services by dynamically adapting the SBAs will become a key enabler for ensuring reliability. Determining when to adapt an SBA is especially challenging in the presence of conversational (aka. stateful) services. A conversational service might fail in the middle of an invocation sequence, in which case adapting the SBA might be costly; e.g., due to the necessary state transfer to an alternative service. In this paper we propose just-in-time testing of conversational services as a novel approach to detect potential problems and to proactively trigger adaptations, thereby preventing costly compensation activities. The approach is based on a framework for online testing and a formal test-generation method which guarantees functional correctness for conversational services. The applicability of the approach is discussed with respect to its underlying assumptions and its performance. The benefits of the approach are demonstrated using a realistic example

A direct route to cyclic organic nanostructures via ring-expansion metathesis polymerization of a dendronized macromonomer

Cyclic organic nanostructures were prepared via ring-expansion metathesis polymerization of a dendronized norbornene macromonomer. The strategy provides a direct, efficient route to nanoscale rings in a single operation. AFM imaging confirmed toroidal features having diameters of ca. 35−40 nm

JWalk: a tool for lazy, systematic testing of java classes by design introspection and user interaction

Popular software testing tools, such as JUnit, allow frequent retesting of modified code; yet the manually created test scripts are often seriously incomplete. A unit-testing tool called JWalk has therefore been developed to address the need for systematic unit testing within the context of agile methods. The tool operates directly on the compiled code for Java classes and uses a new lazy method for inducing the changing design of a class on the fly. This is achieved partly through introspection, using Java’s reflection capability, and partly through interaction with the user, constructing and saving test oracles on the fly. Predictive rules reduce the number of oracle values that must be confirmed by the tester. Without human intervention, JWalk performs bounded exhaustive exploration of the class’s method protocols and may be directed to explore the space of algebraic constructions, or the intended design state-space of the tested class. With some human interaction, JWalk performs up to the equivalent of fully automated state-based testing, from a specification that was acquired incrementally

Selective binding of facial features reveals dynamic expression fragments

The temporal correspondence between two arbitrarily chosen pairs of alternating features can generally be reported for rates up to 3–4 Hz. This limit is however surpassed for specialised visual mechanisms that encode conjunctions of features. Here we show that this 3–4 Hz limit is exceeded for eye gaze and eyebrow pairing, but not for eye gaze and mouth pairing, suggesting combined eye and eyebrow motion constitutes a dynamic expression fragment; a building block of superordinate facial actions

Local Causal States and Discrete Coherent Structures

Coherent structures form spontaneously in nonlinear spatiotemporal systems and are found at all spatial scales in natural phenomena from laboratory hydrodynamic flows and chemical reactions to ocean, atmosphere, and planetary climate dynamics. Phenomenologically, they appear as key components that organize the macroscopic behaviors in such systems. Despite a century of effort, they have eluded rigorous analysis and empirical prediction, with progress being made only recently. As a step in this, we present a formal theory of coherent structures in fully-discrete dynamical field theories. It builds on the notion of structure introduced by computational mechanics, generalizing it to a local spatiotemporal setting. The analysis' main tool employs the \localstates, which are used to uncover a system's hidden spatiotemporal symmetries and which identify coherent structures as spatially-localized deviations from those symmetries. The approach is behavior-driven in the sense that it does not rely on directly analyzing spatiotemporal equations of motion, rather it considers only the spatiotemporal fields a system generates. As such, it offers an unsupervised approach to discover and describe coherent structures. We illustrate the approach by analyzing coherent structures generated by elementary cellular automata, comparing the results with an earlier, dynamic-invariant-set approach that decomposes fields into domains, particles, and particle interactions.Comment: 27 pages, 10 figures; http://csc.ucdavis.edu/~cmg/compmech/pubs/dcs.ht

Healthy cats tolerate long-term daily feeding of Cannabidiol

Cannabidiol (CBD)-containing products are widely commercially available for companion animals, mirroring popularity in human use. Although data on the safety and efficacy of long-term oral supplementation are increasing in dogs, evidence remains lacking in cats. The purpose of these studies was to address gaps in the knowledge around the long-term suitability and tolerance of a tetrahydrocannabinol (THC)-free CBD distillate in clinically healthy cats. The studies were randomized, blinded, and placebo-controlled. The first study supplemented cats with either a placebo oil (n = 10) or with 4 mg/kg body weight (BW) CBD in placebo oil (n = 9) daily, with a meal, for 4 weeks. The concentration of CBD in plasma was measured over 4 h at d0 (first dose) and again at d14 (after 2 weeks of daily dosing). The second study supplemented cats daily with either placebo oil (n = 10) or 4 mg/kg BW CBD in placebo oil (n = 10) for a period of 26 weeks. A comprehensive suite of physiological health measures was performed throughout the study at baseline (week 0) and after 4, 10, 18, and 26 weeks of feeding, followed by a 4-week washout sample (week 30). Postprandial plasma CBD time course data, at both d0 and d14, showed a peak plasma CBD concentration at 2 h after the dose. This peak was 251 (95% CI: 108.7, 393.4) and 431 (95% CI, 288.7, 573.4) ng/mL CBD at d0 and d14, respectively, and the area under the curve concentration was higher by 91.5 (95% CI, 33.1, 149.9) ng-h/mL after 2 weeks of supplementation (p = 0.002). While in the first study the CBD group displayed increased alanine aminotransferase (ALT; 68.7 (95% CI, 43.23, 109.2) U/L) at week 4 compared to the placebo control group [1.44-fold increase (95% CI, 0.813, 2.54)], statistical equivalence (at 2-fold limits) was found for ALT across the duration of the second, long-term study. All other biochemistry and hematology data showed no clinically significant differences between supplement groups. Data presented here suggest that a THC-free, CBD distillate fed at a dose of 4 mg/kg BW was absorbed into plasma and well tolerated by healthy cats when supplemented over a period of 26 weeks

Tamoxifen for prevention of breast cancer: extended long-term follow-up of the IBIS-I breast cancer prevention trial

© Cuzick et al. Open Access article distributed under the terms of CC BY.http://dx.doi.org/10.1016/S1470-2045(14)71171-

Agent based modelling helps in understanding the rules by which fibroblasts support keratinocyte colony formation

Background: Autologous keratincoytes are routinely expanded using irradiated mouse fibroblasts and bovine serum for clinical use. With growing concerns about the safety of these xenobiotic materials, it is desirable to culture keratinocytes in media without animal derived products. An improved understanding of epithelial/mesenchymal interactions could assist in this. Methodology/Principal Findings: A keratincyte/fibroblast o-culture model was developed by extending an agent-based keratinocyte colony formation model to include the response of keratinocytes to both fibroblasts and serum. The model was validated by comparison of the in virtuo and in vitro multicellular behaviour of keratinocytes and fibroblasts in single and co-culture in Greens medium. To test the robustness of the model, several properties of the fibroblasts were changed to investigate their influence on the multicellular morphogenesis of keratinocyes and fibroblasts. The model was then used to generate hypotheses to explore the interactions of both proliferative and growth arrested fibroblasts with keratinocytes. The key predictions arising from the model which were confirmed by in vitro experiments were that 1) the ratio of fibroblasts to keratinocytes would critically influence keratinocyte colony expansion, 2) this ratio needed to be optimum at the beginning of the co-culture, 3) proliferative fibroblasts would be more effective than irradiated cells in expanding keratinocytes and 4) in the presence of an adequate number of fibroblasts, keratinocyte expansion would be independent of serum. Conclusions: A closely associated computational and biological approach is a powerful tool for understanding complex biological systems such as the interactions between keratinocytes and fibroblasts. The key outcome of this study is the finding that the early addition of a critical ratio of proliferative fibroblasts can give rapid keratinocyte expansion without the use of irradiated mouse fibroblasts and bovine serum